1. The seventeen provers of the world
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory ; Data processing ; Algebra ; Computer programs ;
2. The seventeen provers of the world
پدیدآورنده : / foreword by Dana S. Scott
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Proof theory--Data processing,Algebra--Computer programs
رده :
QA
,
155
.
7
,.
E4
,
S48
,
2006
3. The seventeen provers of the world
پدیدآورنده : Freek Wiedijk )ed.(; foreword by Dana S. Scott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Proof theory,Computer programs ، Algebra
رده :
QA
76
.
L28
Vol
.
3600
